Is evidence-based practice diverse enough? Philosophy of science considerations.

In its policy rationale for evidence-based practice in psychology (EBPP), the APA Presidential Task Force on Evidence-Based Practice (see record 2006-05893-001) claims to have constituted itself with "scientists and practitioners from a wide range of perspectives and traditions, reflecting the diverse perspectives within the field" (p. 273). We applaud this attention to diversity but contend that an entire perspective of the debate was omitted in the Task Force's newly approved policy and its underlying report. The failure to consider a philosophy of science perspective led the Task Force to make a number of epistemological assumptions that are not based on evidence or rationale and that thus violate the very spirit of evidence-based decision making. In this comment, we reveal a few of these assumptions and discuss their detrimental consequences. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

On the ontological expressiveness of information systems analysis and design grammars

Abstract. Information systems analysis and design (ISAD) methodologies provide facilities for describing existing or conceived real-world systems. These facilities are ontologically expressive if they are capable of describing all real-world phenomena completely and clearly. In this paper we formally examine the notion of the ontological expressiveness of a grammar and discuss some of its implications for the design and use of ISAD methodologies. We identify some generic ways in which ontological expressiveness may be undermined in a grammar and some potential consequences of these violations. We also examine ontological expressiveness within the context of some other desirable features that might be considered in the design of ISAD methodologies.     

Kripke Semantics for Modal Substructural Logics

We introduce Kripke semantics for modal substructural logics, and provethe completeness theorems with respect to the semantics. Thecompleteness theorems are proved using an extended Ishihara's method ofcanonical model construction (Ishihara, 2000). The framework presentedcan deal with a broad range of modal substructural logics, including afragment of modal intuitionistic linear logic, and modal versions ofCorsi's logics, Visser's logic, Méndez's logics and relevant logics.     

多人决策的一类相对均衡解

本文分析由于决策人偏好不同而引起决策差异的多人多目标决策问题，提出了这类决策问题的一类相对均衡解的概念和求取方法。相对均衡解以决策群体偏好的加权集结为基础，能最大程度地反映每个决策人的偏好。文中研究相对均衡解的ＳＷＴ求取方法，并给出了求解的步骤。     

连拱坝交叉模态综合法的完备性

对笔者提出的连拱坝动力特性计算的子结构交叉综合法的正确性进行了证明．利用证明子结构子模态向量组成的线性空间是完备的基础上，说明当交叉子结构中所取的截尾模态趋向于完备时，其结果等同于整体计算，并表明近似计算将收敛于正确的结果．     

基于知识图谱的互补项目推荐

在缺乏用户交互互补项目方面数据的情况下,将用户对项目的偏好融合到只考虑项目关系的互补项目推荐中,提高推荐模型的性能。提出一种基于知识图谱的互补项目推荐方法,在用户历史交互项目集中推测用户交互的互补项目,基于知识图谱提取用户对互补项目的偏好,利用图像与文本学习项目之间的互补关系,最后基于神经网络实现二者的共同学习。提出的方法在Amazon数据集上与次优的基线方法相比,ACC提升了7%,precision提升了3%,这说明提出的方法性能优异。该算法共同学习用户对项目的偏好与项目之间的互补关系,提升了推荐性能。     

Modal logic as metalogic

The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the system itself. This conception of modal logic was propounded by Dana Scott in the early seventies. Here, similar ideas are pursued in a context less classical than Scott's.First a family of propositional logical systems is considered, which is obtained by gradually adding structural rules to a variant of the nonassociative Lambek calculus. In this family one finds systems that correspond to the associative Lambek calculus, linear logic, relevant logics, BCK logic and intuitionistic logic. Above these basic systems, sequent systems parallel to the basic systems are constructed, which formalize various notions of derived rules for the basic systems. The deduction theorem is provable for the basic systems if, and only if, they are at least as strong as systems corresponding to linear logic, or BCK logic, depending on the language, and their deductive metalogic is not stronger than they are.However, though we do not always have the deduction theorem, we may always obtain a modal analogue of the deduction theorem for conservative modal extensions of the basic systems. Modal postulates which are necessary and sufficient for that are postulates of S4 plus modal postulates which mimic structural rules. For example, the modal postulates which Girard has recently considered in linear logic are necessary and sufficient for the modal analogue of the deduction theorem.All this may lead towards results about functional completeness in categories. When functional completeness, which is analogous to the deduction theorem, fails, we may perhaps envisage a modal analogue of functional completeness in a modal category, of which our original category is a full subcategory.     

Intraspecific variation and interspecific differences in sex pheromones of sibling species inCtenopseustis obliquana complex

The specific status ofCtenopseustis obliquana pheromone-types I, II, and III has been more fully examined. Females of types I and III produce a mixture of (Z)-8- and (Z)-5-tetradecenyl acetates (Z8-14:Ac, Z5-14: Ac). The previously reported different ratios of these two components in females of the two types (type I=8020, III=9010) have been reinvestigated. The median ratios of each type differed significantly, although there was some overlap in the ranges of these ratios. A field cage trial showed that males of type III are attracted to females of type I, so the observed differences may be ascribed to intraspecific variation. In contrast to females of types I or III, females of type II produce Z5-14Ac but no Z8-14Ac. The electroantennogram (EAG) profile of antennae of type II males shows a maximum response to Z5-14Ac, while the EAG profiles of types I and III show a strong response to Z8-14Ac. In wind tunnel tests using mixtures of these two compounds, type II males prefer blends consisting of all or mostly Z5-14: Ac, while type I males showed a preference to a mix of 70% Z8-14Ac plus 30% Z5-14Ac. We found that type I males are attracted to type I females when offered a choice between type I and type II females in a field cage test and that type II males similarly prefer type II females. Males of types I and II have specialist cells for Z8-14Ac and Z5-14Ac but differ with respect to relative densities of these cells and to further cell types responsive to other alkenyl acetates. Type IIC. obliquana is considered therefore a sibling species of types I and III. In addition, the amount of Z5-14Ac produced by type II females varied geographically. Females from the North Island produced significantly less (median=1.2 ng) Z5-14Ac than females from the South Island (median=2.2 ng). Type II populations in the North Island morphologically resembled sympatric type I, rather than type II from the South Island and are designated as type II (North Island). Type II (North Island) populations have so far been found only at Rukuhia (near Hamilton) and from Kerikeri. In contrast, type II populations are sympatric with type III populations over much of the South Island. In a field cage trial, males of types II and II (North Island) were attracted to females of both II and II (North Island). We tentatively ascribe the differences between type II and type II (North Island) to intraspecific variation.     

公式分层的谓词模态逻辑

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.     

分布式失效检测算法的研究与分析

在受限异步假设的前提下,本文提出了基于“存活授权／自杀失效”方法的分布式失效检测算法,并从用户进程角度给出了完整性和精确性的定义。